3081. The whole digital library handbook /
Author: edited by Diane Kresh for the Council on Library and Information Resources.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital libraries, Handbooks, manuals, etc.,Digital libraries.,LANGUAGE ARTS & DISCIPLINES-- Library & Information Science-- General.
Classification :
ZA4080
.
W48
2007eb
3082. The wired homestead :
Author: edited by Joseph Turow and Andrea L. Kavanaugh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers and families.,Internet-- Social aspects.,Internet-- Aspect social.,Ordinateurs et famille.,Computer Science.,Computers and families.,COMPUTERS-- Social Aspects-- General.,Engineering & Applied Sciences.,Internet-- Social aspects.
Classification :
QA76
.
9
.
F35
W57
2003eb
3083. The wireless internet of things :
Author: Daniel Chew.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Internet of things.,Wireless communication systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.,Wireless communication systems.
Classification :
TK5105
.
8857
.
C44
2019
3084. Theorem proving in higher order logics
Author: Stefan Berghofer ... [et al.] (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
T646
2009
3085. Theoretical Computer Science :
Author: edited by Armin B. Cremers, Hans-Peter Kriegel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.
Classification :
QA267
.
E358
1982
3086. Theoretical Foundations of Artificial General Intelligence
Author: / Pei Wang, Ben Goertzel
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
3087. Theoretical aspects of computing
Author: / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Information theory--Congresses
Classification :
QA
,
75
.
5
,.
I135
,
2007
3088. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
3089. Theoretical aspects of computing -- ICTAC 2013 :
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
3090. Theoretical aspects of computing -- ICTAC 200
Author: / John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Information theory--Congresses
3091. Theoretical aspects of distributed computing in sensor networks /
Author: Sotiris Nikoletseas, José D.P. Rolim, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mobile computing.,Multisensor data fusion.,Sensor networks-- Data processing.,Informatique.,Mobile computing.,Multisensor data fusion.
Classification :
TK7872
.
D48
T44
2011
3092. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
3093. Theoretical foundation for large-scale computations for nonlinear material behavior
Author: edited by Siavouche Nemat-Nasser, Robert J. Asaro, Gilbert A. Hegemier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics.,Mechanics.,Physics.
3094. Theory and Practice of Geometric Modeling
Author: edited by Wolfgang Stra€er, Hans-Peter Seidel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware.,Computer science.,Software engineering.
3095. Theory and Practice of Natural Computing
Author: \ Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Natural computation -- Congresses,Artificial intelligence -- Congresses,محاسبات طبیعی -- کنگرهها,هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
9
.
N37
T65
2015
E-Book
,
3096. Theory and Practice of Robots and Manipulators :
Author: edited by A. Morecki, G. Bianchi, K. Kȩdzior.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Manipulators (Mechanism) -- Congresses.,Robotics -- Congresses.,Science (General)
Classification :
TJ210
.
3
E358
1985
3097. Theory and applications of models of computation :
Author: Mitsunori Ogihara, Jun Tarui (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
T36
2011eb
3098. Theory and applications of models of computation :
Author: T.V. Gopal, Junzo Watada (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
Classification :
QA76
.
9
.
M35
T35
2019eb
3099. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43
3100. Theory and practice of algorithms in (computer) systems
Author: Alberto Marchetti-Spaccamela, Michael Segal (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses
Classification :
QA76
.
9
.
A43
T37
2011
